[INFO] fetching crate nash-plutus 0.1.0...
[INFO] testing nash-plutus-0.1.0 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate nash-plutus 0.1.0 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate nash-plutus 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate nash-plutus 0.1.0
[INFO] tweaked toml for crates.io crate nash-plutus 0.1.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate nash-plutus 0.1.0 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate nash-plutus 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded minicbor-derive v0.15.3
[INFO] [stderr]   Downloaded condtype v1.3.0
[INFO] [stderr]   Downloaded append-only-vec v0.1.8
[INFO] [stderr]   Downloaded divan-macros v0.1.21
[INFO] [stderr]   Downloaded minicbor v0.25.1
[INFO] [stderr]   Downloaded secp256k1 v0.30.0
[INFO] [stderr]   Downloaded divan v0.1.21
[INFO] [stderr]   Downloaded chumsky v1.0.0-alpha.8
[INFO] [stderr]   Downloaded cryptoxide v0.4.4
[INFO] [stderr]   Downloaded regex-automata v0.3.9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ca79221a3464a65dffc650865336d625140a3d7fb7dcc567b18ff26de97b6562
[INFO] running `Command { std: "docker" "start" "-a" "ca79221a3464a65dffc650865336d625140a3d7fb7dcc567b18ff26de97b6562", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ca79221a3464a65dffc650865336d625140a3d7fb7dcc567b18ff26de97b6562", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca79221a3464a65dffc650865336d625140a3d7fb7dcc567b18ff26de97b6562", kill_on_drop: false }`
[INFO] [stdout] ca79221a3464a65dffc650865336d625140a3d7fb7dcc567b18ff26de97b6562
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7f68ce847404ea09a75a01f3b48b223903166055a0e84c7aa95d04f4f36a1c90
[INFO] running `Command { std: "docker" "start" "-a" "7f68ce847404ea09a75a01f3b48b223903166055a0e84c7aa95d04f4f36a1c90", kill_on_drop: false }`
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling chumsky v1.0.0-alpha.8
[INFO] [stderr]    Compiling minicbor v0.25.1
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling append-only-vec v0.1.8
[INFO] [stderr]    Compiling cryptoxide v0.4.4
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling hamming v0.1.3
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling secp256k1-sys v0.10.1
[INFO] [stderr]    Compiling stacker v0.1.23
[INFO] [stderr]    Compiling blst v0.3.16
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling threadpool v1.8.1
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling secp256k1 v0.30.0
[INFO] [stderr]    Compiling psm v0.1.30
[INFO] [stderr]    Compiling zeroize_derive v1.4.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling zeroize v1.8.2
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling nash-plutus v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.80s
[INFO] running `Command { std: "docker" "inspect" "7f68ce847404ea09a75a01f3b48b223903166055a0e84c7aa95d04f4f36a1c90", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7f68ce847404ea09a75a01f3b48b223903166055a0e84c7aa95d04f4f36a1c90", kill_on_drop: false }`
[INFO] [stdout] 7f68ce847404ea09a75a01f3b48b223903166055a0e84c7aa95d04f4f36a1c90
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8757d9651fc3a76cebf09b4f3e0246271a61799e9f0d8af2d057a4e8a4948877
[INFO] running `Command { std: "docker" "start" "-a" "8757d9651fc3a76cebf09b4f3e0246271a61799e9f0d8af2d057a4e8a4948877", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling zerocopy v0.8.42
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling proc-macro2-diagnostics v0.10.1
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling zerocopy-derive v0.8.42
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling divan-macros v0.1.21
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling condtype v1.3.0
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling aliasable v0.1.3
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling regex-lite v0.1.9
[INFO] [stderr]    Compiling ouroboros_macro v0.18.5
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling ouroboros v0.18.5
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling terminal_size v0.4.3
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling insta v1.46.3
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling psm v0.1.30
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling divan v0.1.21
[INFO] [stderr]    Compiling stacker v0.1.23
[INFO] [stderr]    Compiling chumsky v1.0.0-alpha.8
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling nash-plutus v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 31.27s
[INFO] running `Command { std: "docker" "inspect" "8757d9651fc3a76cebf09b4f3e0246271a61799e9f0d8af2d057a4e8a4948877", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8757d9651fc3a76cebf09b4f3e0246271a61799e9f0d8af2d057a4e8a4948877", kill_on_drop: false }`
[INFO] [stdout] 8757d9651fc3a76cebf09b4f3e0246271a61799e9f0d8af2d057a4e8a4948877
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e745a3c7915e8283e012ab5a5a0e5d1e40cc091a54888badd62fa969c285e147
[INFO] running `Command { std: "docker" "start" "-a" "e745a3c7915e8283e012ab5a5a0e5d1e40cc091a54888badd62fa969c285e147", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/nash_plutus-b15c5530d43f42ae)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test flat::decode::tests::decode_program_bigint ... ok
[INFO] [stdout] test flat::encode::tests::roundtrip_program_big_constr_tag ... ok
[INFO] [stdout] test flat::decode::tests::decode_program_big_constr_tag ... ok
[INFO] [stdout] test flat::data::tests::encode_cbor_data_bigint ... ok
[INFO] [stdout] test flat::data::tests::encode_record ... ok
[INFO] [stdout] test flat::decode::tests::decode_program_list ... ok
[INFO] [stdout] test flat::data::tests::encode_empty_record ... ok
[INFO] [stdout] test flat::encode::tests::roundtrip_program_bigint ... ok
[INFO] [stdout] test flat::encode::tests::roundtrip_program_list ... ok
[INFO] [stdout] test machine::cost_model::value::tests::integer_log2_oracle ... ok
[INFO] [stdout] test machine::cost_model::builtin_costs::tests::assert_default_cost_model_v1 ... ok
[INFO] [stdout] test tests::add_integer ... ok
[INFO] [stdout] test machine::cost_model::builtin_costs::tests::assert_default_cost_model_v3 ... ok
[INFO] [stdout] test machine::cost_model::builtin_costs::tests::assert_default_cost_model_v2 ... ok
[INFO] [stdout] test flat::data::tests::encode_record_integer ... ok
[INFO] [stdout] test tests::fibonacci ... ok
[INFO] [stderr]      Running tests/conformance.rs (/opt/rustwide/target/debug/deps/conformance-324ebf07344e372a)
[INFO] [stdout] test flat::data::tests::encode_cbor_data_list ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 994 tests
[INFO] [stdout] test builtin_constant_bls12_381_g1_bad_syntax_01 ... ok
[INFO] [stdout] test builtin_constant_array_illtypedarray_02 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_bad_zero_01 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_bad_zero_02 ... ok
[INFO] [stdout] test builtin_constant_array_simplearray ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_bad_syntax_02 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_too_short ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_bad_syntax_01 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_out_of_group ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_off_curve ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_too_long ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_on_curve_bit3_set ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_zero ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_bad_zero_03 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_on_curve_bit3_clear ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_bad_syntax_02 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_bad_zero_02 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_off_curve ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_on_curve_serialised_not_compressed ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_on_curve_bit3_set ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_bad_zero_03 ... ok
[INFO] [stdout] test builtin_constant_bool_boolean ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_zero ... ok
[INFO] [stdout] test builtin_constant_array_illtypedarray_01 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_too_long ... ok
[INFO] [stdout] test builtin_constant_bool_false_lc ... ok
[INFO] [stdout] test builtin_constant_bool_maybe ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_on_curve_bit3_clear ... ok
[INFO] [stdout] test builtin_constant_array_unitarray ... ok
[INFO] [stdout] test builtin_constant_bool_false ... ok
[INFO] [stdout] test builtin_constant_array_emptyarray ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_too_short ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g1_on_curve_serialised_not_compressed ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_bad_zero_01 ... ok
[INFO] [stdout] test builtin_constant_bytestring_bytestring_01 ... ok
[INFO] [stdout] test builtin_constant_bool_true ... ok
[INFO] [stdout] test builtin_constant_data_databytestring ... ok
[INFO] [stdout] test builtin_constant_data_datamisbytestring ... ok
[INFO] [stdout] test builtin_constant_data_datamismap ... ok
[INFO] [stdout] test builtin_constant_data_datalist ... ok
[INFO] [stdout] test builtin_constant_bool_true_lc ... ok
[INFO] [stdout] test builtin_constant_data_datamisconstr ... ok
[INFO] [stdout] test builtin_constant_data_datamisinteger ... ok
[INFO] [stdout] test builtin_constant_data_dataconstr ... ok
[INFO] [stdout] test builtin_constant_bytestring_bytestring_02 ... ok
[INFO] [stdout] test builtin_constant_data_datamap ... ok
[INFO] [stdout] test builtin_constant_data_datamislist ... ok
[INFO] [stdout] test builtin_constant_bytestring_bytestring_04 ... ok
[INFO] [stdout] test builtin_constant_integer_integer_02 ... ok
[INFO] [stdout] test builtin_constant_integer_integer10 ... ok
[INFO] [stdout] test builtin_constant_integer_integer_04 ... ok
[INFO] [stdout] test builtin_constant_integer_integer_03 ... ok
[INFO] [stdout] test builtin_constant_integer_integer_05 ... ok
[INFO] [stdout] test builtin_constant_integer_integer_01 ... ok
[INFO] [stdout] test builtin_constant_data_datainteger ... ok
[INFO] [stdout] test builtin_constant_pair_illtypedpair_01 ... ok
[INFO] [stdout] test builtin_constant_pair_illtypedpair_02 ... ok
[INFO] [stdout] test builtin_constant_pair_nestedpair ... ok
[INFO] [stdout] test builtin_constant_list_emptylist ... ok
[INFO] [stdout] test builtin_constant_string_string_02 ... ok
[INFO] [stdout] test builtin_constant_string_string_01 ... ok
[INFO] [stdout] test builtin_constant_pair_simplepair ... ok
[INFO] [stdout] test builtin_constant_list_illtypedlist_01 ... ok
[INFO] [stdout] test builtin_constant_string_string_03 ... ok
[INFO] [stdout] test builtin_constant_list_simplelist ... ok
[INFO] [stdout] test builtin_constant_integer_integer_09 ... ok
[INFO] [stdout] test builtin_constant_pair_illtypednestedpair ... ok
[INFO] [stdout] test builtin_constant_list_illtypedlist_02 ... ok
[INFO] [stdout] test builtin_constant_integer_integer_08 ... ok
[INFO] [stdout] test builtin_constant_string_string_04 ... ok
[INFO] [stdout] test builtin_constant_list_unitlist ... ok
[INFO] [stdout] test builtin_constant_string_string_05 ... ok
[INFO] [stdout] test builtin_constant_value_empty_tokens ... ok
[INFO] [stdout] test builtin_constant_string_string_06 ... ok
[INFO] [stdout] test builtin_constant_value_ill_formed ... ok
[INFO] [stdout] test builtin_constant_value_max_key_length_1 ... ok
[INFO] [stdout] test builtin_constant_value_key_too_long_1 ... ok
[INFO] [stdout] test builtin_constant_string_string_07 ... ok
[INFO] [stdout] test builtin_constant_string_string_08 ... ok
[INFO] [stdout] test builtin_constant_value_max_key_length_2 ... ok
[INFO] [stdout] test builtin_constant_value_multi ... ok
[INFO] [stdout] test builtin_constant_unit_unit ... ok
[INFO] [stdout] test builtin_constant_unit_unit_fail_1 ... ok
[INFO] [stdout] test builtin_constant_unit_unit_fail_2 ... ok
[INFO] [stdout] test builtin_constant_value_duplicate_keys ... ok
[INFO] [stdout] test builtin_constant_value_empty ... ok
[INFO] [stdout] test builtin_constant_value_no_underflow ... ok
[INFO] [stdout] test builtin_interleaving_iteatintegerarrowintegerapplied2 ... ok
[INFO] [stdout] test builtin_constant_value_overflow ... ok
[INFO] [stdout] test builtin_constant_value_unordered ... ok
[INFO] [stdout] test builtin_constant_value_no_overflow ... ok
[INFO] [stdout] test builtin_interleaving_iteforcedforced ... ok
[INFO] [stdout] test builtin_interleaving_iteforced ... ok
[INFO] [stdout] test builtin_interleaving_ite ... ok
[INFO] [stdout] test builtin_interleaving_iteatintegerarrowintegerappliedapplied ... ok
[INFO] [stdout] test builtin_interleaving_iteatintegerarrowintegerapplied1 ... ok
[INFO] [stdout] test builtin_interleaving_iteatintegerarrowintegerwithcond ... ok
[INFO] [stdout] test builtin_interleaving_iteforceappforce ... ok
[INFO] [stdout] test builtin_interleaving_iteunforcedwithcond ... ok
[INFO] [stdout] test builtin_interleaving_itewrongcondtypefullyappied ... ok
[INFO] [stdout] test builtin_interleaving_iteforcedwithintegerandstring ... ok
[INFO] [stdout] test builtin_interleaving_itestringstring ... ok
[INFO] [stdout] test builtin_interleaving_iteunforcedfullyapplied ... ok
[INFO] [stdout] test builtin_interleaving_multiplyintegerforceerror3 ... ok
[INFO] [stdout] test builtin_interleaving_itestringinteger ... ok
[INFO] [stdout] test builtin_interleaving_multiplyintegerforceerror1 ... ok
[INFO] [stdout] test builtin_semantics_addinteger_addinteger_01 ... ok
[INFO] [stdout] test builtin_interleaving_multiplyintegerforceerror2 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_03 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_02 ... ok
[INFO] [stdout] test builtin_interleaving_itewrongcondtypepartiallyapplied ... ok
[INFO] [stdout] test builtin_semantics_addinteger_addinteger_uncurried ... ok
[INFO] [stdout] test builtin_semantics_addinteger_addinteger_02 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_01 ... ok
[INFO] [stdout] test builtin_semantics_addinteger_addinteger_04 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_04 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_06 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_08 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_05 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_07 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_11 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_10 ... ok
[INFO] [stdout] test builtin_semantics_addinteger_addinteger_03 ... ok
[INFO] [stdout] test builtin_constant_bls12_381_g2_out_of_group ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_09 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_12 ... ok
[INFO] [stdout] test builtin_constant_bytestring_bytestring_03 ... ok
[INFO] [stdout] test builtin_constant_value_underflow ... ok
[INFO] [stdout] test builtin_constant_integer_integer_06 ... ok
[INFO] [stdout] test builtin_semantics_appendbytestring_appendbytestring_02 ... ok
[INFO] [stdout] test builtin_semantics_appendbytestring_appendbytestring_03 ... ok
[INFO] [stdout] test builtin_constant_value_zero_asset ... ok
[INFO] [stdout] test builtin_semantics_appendstring ... ok
[INFO] [stdout] test builtin_constant_integer_integer_07 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_13 ... ok
[INFO] [stdout] test builtin_semantics_andbytestring_case_14 ... ok
[INFO] [stdout] test builtin_semantics_blake2b_256_blake2b_256_length_200 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g1_arith_scalarmul ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g1_uncompress_out_of_group ... ok
[INFO] [stdout] test builtin_semantics_blake2b_224_blake2b_224_empty ... ok
[INFO] [stdout] test builtin_semantics_blake2b_224_blake2b_224_length_200 ... ok
[INFO] [stdout] test builtin_semantics_bdata ... ok
[INFO] [stdout] test builtin_semantics_blake2b_256_blake2b_256_empty ... ok
[INFO] [stdout] test builtin_constant_value_key_too_long_2 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g1_arith_add ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g2_arith_neg ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g2_uncompress_out_of_group ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g2_arith_add ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g1_arith_neg ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g2_uncompress_off_curve ... ok
[INFO] [stdout] test builtin_semantics_appendbytestring_appendbytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_add_add_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_pairing_swap_scalars ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_signature_large_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g1_uncompress_off_curve ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_equal_equal_true ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_g2_arith_scalarmul ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_pairing_left_additive ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_hashtogroup_hash ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_pairing_left_multiplicative ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_add_add_associative ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_signature_augmented ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_pairing_right_multiplicative ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_pairing_right_additive ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_cardano_crypto_tests_pairing_balanced ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_add_add_commutative ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_compress_compress ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_equal_equal_false ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_add_add ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_hashtogroup_hash_different_msg_same_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_hashtogroup_hash_empty_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_06a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_hashtogroup_hash_dst_len_255 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_hashtogroup_hash_same_msg_different_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_07 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_05a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_05b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_03b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_03a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_08 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_09a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_09b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_hashtogroup_hash_dst_len_256 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_02b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_06b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_02a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_neg_neg ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_neg_add_neg ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_neg_neg_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_04a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_13a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mul_neg_one ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mul_one ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mul4x_11 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_13d ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_addmul ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mul19_25 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_13b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_11 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mul_44 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_04b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mulneg_44 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mulperiodic_02 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mul_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mulperiodic_03 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_muladd ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mulperiodic_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_10a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_too_long ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_off_curve ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_bad_zero_02 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_on_curve_bit1_clear ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_on_curve_bit3_set ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_on_curve_serialised_not_compressed ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_on_curve_bit3_clear ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_scalarmul_mulperiodic_04 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_10b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_bad_zero_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_out_of_group ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_add_add_commutative ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_too_short ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_add_add ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_add_add_associative ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_add_add_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_equal_equal_true ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_hashtogroup_hash ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_hashtogroup_hash_dst_len_256 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_uncompress_bad_zero_03 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_hashtogroup_hash_dst_len_255 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_hashtogroup_hash_different_msg_same_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_hashtogroup_hash_empty_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_13c ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_hashtogroup_hash_same_msg_different_dst ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_equal_equal_false ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_03a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_02b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_04b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_09a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_compress_compress ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_12a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_08 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_07 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_06b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_13b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g1_multiscalarmul_multiscalarmul_12b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_06a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_neg_neg ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_neg_add_neg ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_05a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_neg_neg_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_11 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_13a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mul4x_11 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_12a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_addmul ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mul_one ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mul_44 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mul_neg_one ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mul19_25 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mulperiodic_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mul_zero ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mulneg_44 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mulperiodic_02 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mulperiodic_03 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_muladd ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_02a ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_13d ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_on_curve_bit1_clear ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_bad_zero_03 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_on_curve_bit3_clear ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_on_curve_bit3_set ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_scalarmul_mulperiodic_04 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_09b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_12b ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_on_curve_serialised_not_compressed ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_too_long ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_off_curve ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_bad_zero_02 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_out_of_group ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_too_short ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_bad_zero_01 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_10a ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_big_endian_correct_output ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_big_endian_all_zeros ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_uncompress_zero ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_big_endian_leading_zeros ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_millerloop_balanced ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_millerloop_equal_pairing ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_04a ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_big_endian_empty ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_both_endian ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_millerloop_left_additive ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_millerloop_random_pairing ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_little_endian_all_zeros ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_millerloop_right_additive ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_03b ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_little_endian_correct_output ... ok
[INFO] [stdout] test builtin_semantics_choosedatabytestring ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_13c ... ok
[INFO] [stdout] test builtin_semantics_choosedataconstr ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_little_endian_empty ... ok
[INFO] [stdout] test builtin_semantics_bytestringtointeger_little_endian_trailing_zeros ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_05b ... ok
[INFO] [stdout] test builtin_semantics_complementbytestring_case_02 ... ok
[INFO] [stdout] test builtin_semantics_chooselist_chooselist_02 ... ok
[INFO] [stdout] test builtin_semantics_choosedatamap ... ok
[INFO] [stdout] test builtin_semantics_choosedatalist ... ok
[INFO] [stdout] test builtin_semantics_choosedatainteger ... ok
[INFO] [stdout] test builtin_semantics_complementbytestring_case_03 ... ok
[INFO] [stdout] test builtin_semantics_complementbytestring_case_05 ... ok
[INFO] [stdout] test builtin_semantics_chooselist_chooselist_04 ... ok
[INFO] [stdout] test builtin_semantics_chooseunit_chooseunit_01 ... ok
[INFO] [stdout] test builtin_semantics_chooselist_chooselist_01 ... ok
[INFO] [stdout] test builtin_semantics_complementbytestring_case_01 ... ok
[INFO] [stdout] test builtin_semantics_chooselist_chooselist_03 ... ok
[INFO] [stdout] test builtin_semantics_complementbytestring_case_04 ... ok
[INFO] [stdout] test builtin_semantics_chooseunit_chooseunit_02 ... ok
[INFO] [stdout] test builtin_semantics_consbytestring_consbytestring_02 ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_08 ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_06 ... ok
[INFO] [stdout] test builtin_semantics_constrdata ... ok
[INFO] [stdout] test builtin_semantics_decodeutf8_decodeutf8_invalid ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_02 ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_04 ... ok
[INFO] [stdout] test builtin_semantics_consbytestring_consbytestring_03 ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_03 ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_05 ... ok
[INFO] [stdout] test builtin_semantics_decodeutf8_decodeutf8_ok ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_07 ... ok
[INFO] [stdout] test builtin_semantics_divideinteger_divideinteger_zero ... ok
[INFO] [stdout] test builtin_semantics_divideinteger_divideinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_divideinteger_divideinteger_neg_pos ... ok
[INFO] [stdout] test builtin_semantics_divideinteger_divideinteger_pos_neg ... ok
[INFO] [stdout] test builtin_semantics_divideinteger_divideinteger_neg_neg ... ok
[INFO] [stdout] test builtin_semantics_countsetbits_case_01 ... ok
[INFO] [stdout] test builtin_semantics_divideinteger_divideinteger_pos_pos ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_01 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_02 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_03 ... ok
[INFO] [stdout] test builtin_semantics_encodeutf8 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_06 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_11 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_07 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_13 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_05 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_08 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_04 ... ok
[INFO] [stdout] test builtin_semantics_consbytestring_consbytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_droplist_droplist_12 ... ok
[INFO] [stdout] test builtin_semantics_equalsbytestring_equalsbytestring_02 ... ok
[INFO] [stdout] test builtin_semantics_equalsinteger_equalsinteger_03 ... ok
[INFO] [stdout] test builtin_semantics_equalsdata_equalsdata_01 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_exp_neg_non_inverse_01 ... ok
[INFO] [stdout] test builtin_semantics_equalsbytestring_equalsbytestring ... ok
[INFO] [stdout] test builtin_semantics_equalsinteger_equalsinteger_02 ... ok
[INFO] [stdout] test builtin_semantics_equalsdata_equalsdata_03 ... ok
[INFO] [stdout] test builtin_semantics_equalsdata_equalsdata_04 ... ok
[INFO] [stdout] test builtin_semantics_equalsstring_equalsstring_01 ... ok
[INFO] [stdout] test builtin_semantics_equalsbytestring_equalsbytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_exp_neg_non_inverse_02 ... ok
[INFO] [stdout] test builtin_semantics_equalsstring_equalsstring_02 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_expmod_02 ... ok
[INFO] [stdout] test builtin_semantics_equalsdata_equalsdata_02 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_expmod_03 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_expmod_04 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_expmod_05 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_03 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_02 ... ok
[INFO] [stdout] test builtin_semantics_equalsinteger_equalsinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_expmod_01 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_11 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_12 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_13 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_17 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_10 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_06 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_05 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_07 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_04 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_18 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_19 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_08 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_09 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_15 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_20 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_21 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_16 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_24 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_25 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_22 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_26 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_27 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_28 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_31 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_36 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_33 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_38 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_39 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_34 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_35 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_14 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_30 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_32 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_29 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_23 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_46 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_44 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_41 ... ok
[INFO] [stdout] test builtin_semantics_bls12_381_g2_multiscalarmul_multiscalarmul_10b ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_40 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_49 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_42 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_37 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_43 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_45 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_48 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_54 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_55 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_52 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_50 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_53 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_47 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_51 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_56 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_57 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_67 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_68 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_58 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_59 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_66 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_62 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_60 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_69 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_70 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_61 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_65 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_63 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_71 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_64 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_74 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_mod_zero ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_mod_neg ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_02 ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_01 ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_03 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_73 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_75 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_77 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_72 ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_05 ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_04 ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_07 ... ok
[INFO] [stdout] test builtin_semantics_headlist_headlist_03 ... ok
[INFO] [stdout] test builtin_semantics_headlist_headpartial ... ok
[INFO] [stdout] test builtin_semantics_headlist_headlist_01 ... ok
[INFO] [stdout] test builtin_semantics_expmodinteger_extra_expmodinteger_76 ... ok
[INFO] [stdout] test builtin_semantics_idata ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_02 ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_03 ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_06 ... ok
[INFO] [stdout] test builtin_semantics_findfirstsetbit_case_04 ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_01 ... ok
[INFO] [stdout] test builtin_semantics_fstpair ... ok
[INFO] [stdout] test builtin_semantics_headlist_headlist_02 ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_bad_cond_01 ... ok
[INFO] [stdout] test builtin_semantics_indexarray_indexarray_01 ... ok
[INFO] [stdout] test builtin_semantics_indexbytestring_indexbytestringoverflow ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_bad_cond_02 ... ok
[INFO] [stdout] test builtin_semantics_indexarray_indexarray_03 ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_key_too_long_2 ... ok
[INFO] [stdout] test builtin_semantics_ifthenelse_ifthenelse_no_force ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_long_key_zero_2 ... ok
[INFO] [stdout] test builtin_semantics_indexbytestring_indexbytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_key_too_long_1 ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_multi_ccy_nonempty ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_no_overflow ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_positive_empty ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_negative_empty ... ok
[INFO] [stdout] test builtin_semantics_indexbytestring_indexbytestringoob ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_long_key_zero_1 ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_overflow ... ok
[INFO] [stdout] test builtin_semantics_indexarray_indexarray_02 ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_no_underflow ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_multi_ccy_empty ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_negative_width ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_negative_input ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_multi_token ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_correct_output_exact_width ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_zero_positive ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_positive_nonempty ... ok
[INFO] [stdout] test builtin_semantics_insertcoin_underflow ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_correct_output_extra_width ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_width_too_big_zero ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_zero ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_correct_output_exact_width ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_correct_output_extra_width ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_unbounded_zero ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_negative_input ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_negative_width ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_zero ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_too_narrow ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_unbounded_correct_output ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_too_narrow ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_width_too_big_zero ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_unbounded_negative_input ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_unbounded_correct_output ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_unbounded_negative_input ... ok
[INFO] [stdout] test builtin_semantics_keccak_256_keccak_256_empty ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_unbounded_zero ... ok
[INFO] [stdout] test builtin_semantics_lengthofbytestring ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_maximum_width_zero ... ok
[INFO] [stdout] test builtin_semantics_keccak_256_keccak_256_length_200 ... ok
[INFO] [stdout] test builtin_semantics_lengthofarray_lengthofarray_01 ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_max_width_input_too_big ... ok
[INFO] [stdout] test builtin_semantics_lengthofarray_lengthofarray_02 ... ok
[INFO] [stdout] test builtin_semantics_lessthanbytestring_lessthanbytestring_00 ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_max_input_fits_max_width ... ok
[INFO] [stdout] test builtin_semantics_lessthanbytestring_lessthanbytestring_03 ... ok
[INFO] [stdout] test builtin_semantics_lessthanbytestring_lessthanbytestring_04 ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsbytestring_lessthanequalsbytestring_03 ... ok
[INFO] [stdout] test builtin_semantics_lessthanbytestring_lessthanbytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_lessthanbytestring_lessthanbytestring_02 ... ok
[INFO] [stdout] test builtin_semantics_lessthanbytestring_lessthanbytestring_05 ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsbytestring_lessthanequalsbytestring_00 ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsbytestring_lessthanequalsbytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsbytestring_lessthanequalsbytestring_02 ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_unbounded_input_too_big ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsinteger_lessthanequalsinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_max_input_width_too_small ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_maximum_width_zero ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsinteger_lessthanequalsinteger_03 ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_unbounded_maximum_input ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_bounded_max_input_fits_max_width ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsinteger_lessthanequalsinteger_04 ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsinteger_lessthanequalsinteger_05 ... ok
[INFO] [stdout] test builtin_semantics_lessthaninteger_lessthaninteger_03 ... ok
[INFO] [stdout] test builtin_semantics_lessthaninteger_lessthaninteger_04 ... ok
[INFO] [stdout] test builtin_semantics_lessthaninteger_lessthaninteger_05 ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_unbounded_input_too_big ... ok
[INFO] [stdout] test builtin_semantics_listofpair ... ok
[INFO] [stdout] test builtin_semantics_lessthaninteger_lessthaninteger_01 ... ok
[INFO] [stdout] test builtin_semantics_listoflist ... ok
[INFO] [stdout] test builtin_semantics_lookupcoin_present ... ok
[INFO] [stdout] test builtin_semantics_listtoarray_listtoarray_02 ... ok
[INFO] [stdout] test builtin_semantics_lookupcoin_absent ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_max_input_width_too_small ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_big_endian_bounded_max_width_input_too_big ... ok
[INFO] [stdout] test builtin_semantics_listtoarray_listtoarray_01 ... ok
[INFO] [stdout] test builtin_semantics_mknilpairdata ... ok
[INFO] [stdout] test builtin_semantics_mapdata ... ok
[INFO] [stdout] test builtin_semantics_mkcons_mkcons_fail ... ok
[INFO] [stdout] test builtin_semantics_modinteger_modinteger_pos_pos ... ok
[INFO] [stdout] test builtin_semantics_modinteger_modinteger_zero ... ok
[INFO] [stdout] test builtin_semantics_modinteger_modinteger_pos_neg ... ok
[INFO] [stdout] test builtin_semantics_mkcons_mkcons_01 ... ok
[INFO] [stdout] test builtin_semantics_mkcons_mkcons_02 ... ok
[INFO] [stdout] test builtin_semantics_mkcons_divideinteger ... ok
[INFO] [stdout] test builtin_semantics_modinteger_modinteger_neg_pos ... ok
[INFO] [stdout] test builtin_semantics_lessthaninteger_lessthaninteger_02 ... ok
[INFO] [stdout] test builtin_semantics_listdata ... ok
[INFO] [stdout] test builtin_semantics_nulllist_nulllist_01 ... ok
[INFO] [stdout] test builtin_semantics_multiplyinteger_multiplyinteger_02 ... ok
[INFO] [stdout] test builtin_semantics_multiplyinteger_multiplyinteger_06 ... ok
[INFO] [stdout] test builtin_semantics_multiplyinteger_multiplyinteger_05 ... ok
[INFO] [stdout] test builtin_semantics_multiplyinteger_multiplyinteger_04 ... ok
[INFO] [stdout] test builtin_semantics_multiplyinteger_multiplyinteger_03 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_01 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_03 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_06 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_08 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_04 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_09 ... ok
[INFO] [stdout] test builtin_semantics_mkpairdata ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_11 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_02 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_07 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_12 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_13 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_14 ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_10 ... ok
[INFO] [stdout] test builtin_semantics_pairofpairandlist ... ok
[INFO] [stdout] test builtin_semantics_orbytestring_case_05 ... ok
[INFO] [stdout] test builtin_semantics_quotientinteger_quotientinteger_pos_neg ... ok
[INFO] [stdout] test builtin_semantics_quotientinteger_quotientinteger_pos_pos ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_01 ... ok
[INFO] [stdout] test builtin_semantics_quotientinteger_quotientinteger_zero ... ok
[INFO] [stdout] test builtin_semantics_quotientinteger_quotientinteger_neg_neg ... ok
[INFO] [stdout] test builtin_semantics_quotientinteger_quotientinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_04 ... ok
[INFO] [stdout] test builtin_semantics_quotientinteger_quotientinteger_neg_pos ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_02 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_05 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_03 ... ok
[INFO] [stdout] test builtin_semantics_modinteger_modinteger_neg_neg ... ok
[INFO] [stdout] test builtin_semantics_mknildata ... ok
[INFO] [stdout] test builtin_semantics_lessthanequalsinteger_lessthanequalsinteger_02 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_06 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_09 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_11 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_15 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_12 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_14 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_07 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_08 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_10 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_13 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_21 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_18 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_19 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_22 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_20 ... ok
[INFO] [stdout] test builtin_semantics_remainderinteger_remainderinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_remainderinteger_remainderinteger_pos_neg ... ok
[INFO] [stdout] test builtin_semantics_remainderinteger_remainderinteger_neg_pos ... ok
[INFO] [stdout] test builtin_semantics_remainderinteger_remainderinteger_neg_neg ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_02 ... ok
[INFO] [stdout] test builtin_semantics_remainderinteger_remainderinteger_zero ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_04 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_06 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_08 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_01 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_03 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_05 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_17 ... ok
[INFO] [stdout] test builtin_semantics_readbit_case_16 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_07 ... ok
[INFO] [stdout] test builtin_semantics_remainderinteger_remainderinteger_pos_pos ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_10 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_04 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_02 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_05 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_07 ... ok
[INFO] [stdout] test builtin_semantics_ripemd_160_ripemd_160_empty ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_03 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_06 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_08 ... ok
[INFO] [stdout] test builtin_semantics_ripemd_160_ripemd_160_length_200 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_09 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_01 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_11 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_10 ... ok
[INFO] [stdout] test builtin_semantics_replicatebyte_case_09 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_12 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_15 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_17 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_18 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_13 ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_16 ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_by_pos ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_no_underflow ... ok
[INFO] [stdout] test builtin_semantics_rotatebytestring_case_14 ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_by_zero ... ok
[INFO] [stdout] test builtin_semantics_modinteger_modinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_overflow ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_by_neg ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_01 ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_underflow ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_05 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_06 ... ok
[INFO] [stdout] test builtin_semantics_sha2_256_sha2_256_empty ... ok
[INFO] [stdout] test builtin_semantics_scalevalue_no_overflow ... ok
[INFO] [stdout] test builtin_semantics_sha2_256_sha2_256_length_200 ... ok
[INFO] [stdout] test builtin_semantics_sha3_256_sha3_256_empty ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_03 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_07 ... ok
[INFO] [stdout] test builtin_semantics_sha3_256_sha3_256_length_200 ... ok
[INFO] [stdout] test builtin_semantics_nulllist_nulllist_02 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_09 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_02 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_04 ... ok
[INFO] [stdout] test builtin_semantics_multiplyinteger_multiplyinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_14 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_12 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_13 ... ok
[INFO] [stdout] test builtin_semantics_subtractinteger_subtractinteger_01 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_11 ... ok
[INFO] [stdout] test builtin_semantics_slicebytestring_slicebytestring_01 ... ok
[INFO] [stdout] test builtin_semantics_subtractinteger_subtractinteger_04 ... ok
[INFO] [stdout] test builtin_semantics_slicebytestring_slicebytestring_04 ... ok
[INFO] [stdout] test builtin_semantics_slicebytestring_slicebytestring_03 ... ok
[INFO] [stdout] test builtin_semantics_subtractinteger_non_iter ... ok
[INFO] [stdout] test builtin_semantics_unbdata_unbdata_01 ... ok
[INFO] [stdout] test builtin_semantics_trace ... ok
[INFO] [stdout] test builtin_semantics_unbdata_unbdata_fail ... ok
[INFO] [stdout] test builtin_semantics_sndpair ... ok
[INFO] [stdout] test builtin_semantics_taillist_taillist_01 ... ok
[INFO] [stdout] test builtin_semantics_unconstrdata_unconstrdata_01 ... ok
[INFO] [stdout] test builtin_semantics_subtractinteger_subtractinteger_03 ... ok
[INFO] [stdout] test builtin_semantics_unidata_unidata_fail ... ok
[INFO] [stdout] test builtin_semantics_unidata_unidata_01 ... ok
[INFO] [stdout] test builtin_semantics_subtractinteger_subtractinteger_02 ... ok
[INFO] [stdout] test builtin_semantics_taillist_taillist_partial ... ok
[INFO] [stdout] test builtin_semantics_integertobytestring_little_endian_unbounded_maximum_input ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_combine ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_no_overflow ... ok
[INFO] [stdout] test builtin_semantics_unconstrdata_unconstrdata_fail ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_cancel_02 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_15 ... ok
[INFO] [stdout] test builtin_semantics_slicebytestring_slicebytestring_02 ... ok
[INFO] [stdout] test builtin_semantics_slicebytestring_slicebytestring_05 ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_08 ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_no_underflow ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_duplicate_currencies_merge ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_unitl ... ok
[INFO] [stdout] test builtin_semantics_unlistdata_unlistdata_fail ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_duplicate_tokens ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_overflow ... ok
[INFO] [stdout] test builtin_semantics_unmapdata_unmapdata_fail ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_currency_key_too_long ... ok
[INFO] [stdout] test builtin_semantics_shiftbytestring_case_10 ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_unordered_tokens ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_empty ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_max_key_len ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_zero_quantity ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_empty_tokens ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_zero_sum ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_unordered_currencies ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_multi_currency ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_duplicate_currencies ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_data_duplicate_currencies_cancel ... ok
[INFO] [stdout] test builtin_semantics_unlistdata_unlistdata_01 ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_underflow ... ok
[INFO] [stdout] test builtin_semantics_unmapdata_unmapdata_01 ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_unitr ... ok
[INFO] [stdout] test builtin_semantics_unionvalue_cancel_01 ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_multi_token ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_negative_quantity ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_bytestring_currency ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_map_constr ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_integer_quantity ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_map_integer ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_map_list ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_quantity_underflow ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_bytestring_token ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_map_bytes ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_roundtrip_from_data ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_non_map_tokens ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_quantity_overflow ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_ccy_missing ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_single_entry ... ok
[INFO] [stdout] test builtin_semantics_unvaluedata_token_key_too_long ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_neg_empty ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_multi_insufficient ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_neg_neg_eq ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_neg_neg_lt ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_neg_pos ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_neg_neg_gt ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_reflexive ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_token_missing ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_pos_empty ... ok
[INFO] [stdout] test builtin_semantics_valuedata_multi_currency ... ok
[INFO] [stdout] test builtin_semantics_valuedata_empty ... ok
[INFO] [stdout] test builtin_semantics_valuedata_negative_quantity ... ok
[INFO] [stdout] test builtin_semantics_valuedata_multi_token ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_long_key ... ok
[INFO] [stdout] test builtin_semantics_valuedata_single_entry ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_long_sig ... ok
[INFO] [stdout] test builtin_semantics_valuedata_roundtrip_from_value ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_long_msg ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_invalid_key ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_pos_neg ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_short_sig ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_short_key ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_short_msg ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_07 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_02 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_01 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_08 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_10 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_03 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_12 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_04 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_06 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_09 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_05 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_11 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_16 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_13 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_18 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_long_key ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_17 ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_14 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_short_key ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_short_sig ... ok
[INFO] [stdout] test builtin_semantics_verifyecdsasecp256k1signature_test_vector_15 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_long_sig ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_01 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_02 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_04 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_09 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_15 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_06 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_13 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_10 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_11 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_05 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_14 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_07 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_08 ... ok
[INFO] [stdout] test builtin_semantics_valuecontains_multi_sufficient ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_12 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_03 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_23 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_21 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_17 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_16 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_long_sig ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_24 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_short_sig ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_18 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_28 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_30 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_20 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_31 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_19 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_short_key ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_22 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_01 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_00 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_29 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_03 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_long_key ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_25 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_02 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_26 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_08 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_11 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_17 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_07 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_12 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_09 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_05 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_14 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_10 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_04 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_06 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_16 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_13 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_04 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_01 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_03 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_18 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_06 ... ok
[INFO] [stdout] test builtin_semantics_verifyschnorrsecp256k1signature_test_vector_15 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_09 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_07 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_11 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_10 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_13 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_16 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_17 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_20 ... ok
[INFO] [stdout] test builtin_semantics_verifyed25519signature_test_vector_27 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_14 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_02 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_08 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_18 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_05 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_21 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_22 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_19 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_12 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_15 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_23 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_27 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_31 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_26 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_38 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_28 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_32 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_25 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_24 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_40 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_35 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_39 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_37 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_42 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_41 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_43 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_29 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_36 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_30 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_44 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_05 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_06 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_46 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_45 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_47 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_48 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_01 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_02 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_03 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_04 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_07 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_09 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_12 ... ok
[INFO] [stdout] test example_churchsucc ... ok
[INFO] [stdout] test example_churchzero ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_13 ... ok
[INFO] [stdout] test example_dividebyzerodrop ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_08 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_11 ... ok
[INFO] [stdout] test example_applyadd2 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_10 ... ok
[INFO] [stdout] test example_force_lam ... ok
[INFO] [stdout] test example_factorial ... ok
[INFO] [stdout] test example_natroundtrip ... ok
[INFO] [stdout] test example_overapplication ... ok
[INFO] [stdout] test term_app_app_3 ... ok
[INFO] [stdout] test example_succinteger ... ok
[INFO] [stdout] test term_app_app_4 ... ok
[INFO] [stdout] test example_scottlistsum ... ok
[INFO] [stdout] test example_even3 ... ok
[INFO] [stdout] test example_even2 ... ok
[INFO] [stdout] test term_app_app_5 ... ok
[INFO] [stdout] test example_fibonacci ... ok
[INFO] [stdout] test term_app_app_6 ... ok
[INFO] [stdout] test term_app_app_7 ... ok
[INFO] [stdout] test term_app_app_8 ... ok
[INFO] [stdout] test example_ifintegers ... ok
[INFO] [stdout] test term_app_app_9 ... ok
[INFO] [stdout] test example_dividebyzero ... ok
[INFO] [stdout] test term_argexpected ... ok
[INFO] [stdout] test term_case_case_07 ... ok
[INFO] [stdout] test term_case_case_06 ... ok
[INFO] [stdout] test term_case_case_08 ... ok
[INFO] [stdout] test term_case_case_09 ... ok
[INFO] [stdout] test term_case_case_10 ... ok
[INFO] [stdout] test term_case_case_02 ... ok
[INFO] [stdout] test example_applyadd1 ... ok
[INFO] [stdout] test term_constant_case_bool_bool_04 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_33 ... ok
[INFO] [stdout] test term_case_case_01 ... ok
[INFO] [stdout] test term_constant_case_bool_bool_02 ... ok
[INFO] [stdout] test builtin_semantics_writebits_case_34 ... ok
[INFO] [stdout] test builtin_semantics_xorbytestring_case_14 ... ok
[INFO] [stdout] test term_app_app_1 ... ok
[INFO] [stdout] test term_app_app_2 ... ok
[INFO] [stdout] test example_evenlist ... ok
[INFO] [stdout] test term_constant_case_bool_bool_03 ... ok
[INFO] [stdout] test term_case_case_03 ... ok
[INFO] [stdout] test term_case_case_05 ... ok
[INFO] [stdout] test term_closure ... ok
[INFO] [stdout] test term_case_case_04 ... ok
[INFO] [stdout] test term_constant_case_bool_bool_05 ... ok
[INFO] [stdout] test term_constant_case_bool_bool_06 ... ok
[INFO] [stdout] test term_constant_case_bool_bool_07 ... ok
[INFO] [stdout] test term_constant_case_list_list_01 ... ok
[INFO] [stdout] test term_constant_case_list_list_03 ... ok
[INFO] [stdout] test term_constant_case_integer_integer_03 ... ok
[INFO] [stdout] test term_constant_case_integer_integer_01 ... ok
[INFO] [stdout] test term_constant_case_list_list_06 ... ok
[INFO] [stdout] test term_constant_case_pair_pair_01 ... ok
[INFO] [stdout] test term_constant_case_list_list_05 ... ok
[INFO] [stdout] test term_constant_case_list_list_07 ... ok
[INFO] [stdout] test term_constant_case_bool_bool_01 ... ok
[INFO] [stdout] test term_constant_case_list_list_04 ... ok
[INFO] [stdout] test term_constant_case_unit_unit_01 ... ok
[INFO] [stdout] test term_constant_case_pair_pair_02 ... ok
[INFO] [stdout] test term_constant_case_pair_pair_03 ... ok
[INFO] [stdout] test term_constant_case_integer_integer_04 ... ok
[INFO] [stdout] test term_constant_case_list_list_02 ... ok
[INFO] [stdout] test term_constr_constr_06 ... ok
[INFO] [stdout] test term_constant_case_unit_unit_02 ... ok
[INFO] [stdout] test term_constr_constr_07 ... ok
[INFO] [stdout] test term_delay_delay_error_1 ... ok
[INFO] [stdout] test term_constr_constr_10 ... ok
[INFO] [stdout] test term_delay_delay_error_2 ... ok
[INFO] [stdout] test term_constr_constr_01 ... ok
[INFO] [stdout] test term_constant_case_unit_unit_03 ... ok
[INFO] [stdout] test term_constant_case_pair_pair_04 ... ok
[INFO] [stdout] test term_constr_constr_02 ... ok
[INFO] [stdout] test term_constant_case_pair_pair_05 ... ok
[INFO] [stdout] test term_constant_case_integer_integer_02 ... ok
[INFO] [stdout] test term_constr_constr_03 ... ok
[INFO] [stdout] test term_constr_constr_04 ... ok
[INFO] [stdout] test term_constr_constr_05 ... ok
[INFO] [stdout] test term_constr_constr_08 ... ok
[INFO] [stdout] test term_constr_constr_09 ... ok
[INFO] [stdout] test term_force_force_1 ... ok
[INFO] [stdout] test term_lam_lam_2 ... ok
[INFO] [stdout] test term_delay_delay_lam ... ok
[INFO] [stdout] test term_force_force_2 ... ok
[INFO] [stdout] test term_force_force_4 ... ok
[INFO] [stdout] test term_force_force_3 ... ok
[INFO] [stdout] test term_unlifting_sat ... ok
[INFO] [stdout] test term_lam_lam_1 ... ok
[INFO] [stdout] test term_nonfunctionalapplication ... ok
[INFO] [stdout] test term_unlifting_unsat ... ok
[INFO] [stdout] test term_var ... ok
[INFO] [stderr]    Doc-tests nash_plutus
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 994 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.70s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e745a3c7915e8283e012ab5a5a0e5d1e40cc091a54888badd62fa969c285e147", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e745a3c7915e8283e012ab5a5a0e5d1e40cc091a54888badd62fa969c285e147", kill_on_drop: false }`
[INFO] [stdout] e745a3c7915e8283e012ab5a5a0e5d1e40cc091a54888badd62fa969c285e147
